Recursive data type - PDFSEARCH.IO - Document Search Engine

Recursive data type
Results: 44

#	Item
31	Why Structural Recursion Should Be Taught Before Arrays ∗ in CS 1 † Kim B. Bruce , Andrea Danyluk, and Thomas Murtagh Add to Reading List Source URL: eventfuljava.cs.williams.edu Language: English - Date: 2008-01-09 22:58:18 Recursion Programming idioms Programming paradigms Mathematical logic Theoretical computer science Object-oriented programming Recursive data type Functional programming Algorithm Computer programming Software engineering Computing
32	Alias Types for Recursive Data Structures ∗ (Extended Version) David Walker and Greg Morrisett Cornell University Abstract Linear type systems permit programmers to deallocate or Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2000-03-08 17:34:40 Primitive types Pointer Type safety Reference Aliasing Linked list Stack Software engineering Data types Computing
33	Graph Types Nils Klarlundy & Michael I. Schwartzbachz fklarlund,[removed] Aarhus University, Department of Computer Science, Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:48:46 Data types Primitive types Graph theory Binary trees C++ Recursive data type Tree Pointer Reference Computing Software engineering Computer programming
34	Defining (Co)datatypes in Isabelle/HOL Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München 27 August 2014 Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Recursion Type theory Data types Self-reference Theoretical computer science Recursive data type Corecursion Standard ML Inductive data type Computer programming Software engineering Computing
35	Abstract Datatypes in PVS Technical Report CSL-93-9R • December 1993, Substantially Revised June 1997 S. Owre N. Shankar Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2010-03-25 06:20:58 Data types Programming idioms Type theory Recursion Functional programming Recursive data type List C++ classes EXPRESS Computer programming Software engineering Computing
36	Dynamic, Recursive, Heterogeneous Types in Statically-Typed Languages A Presentation (20, 45 or 90 minute) for Intermediate to Advanced C++ Developers Richard T. Saunders Clint Jeffery Add to Reading List Source URL: cppnow.org Language: English - Date: 2013-12-26 16:51:22 Cross-platform software Procedural programming languages C++ Scripting languages Data types Python syntax and semantics Python C++11 Type system Software engineering Computing Computer programming
37	Generic Views on Data Types Stefan Holdermans Johan Jeuring Andres L¨oh Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Data types Type theory Functional programming Category theory Generic programming Algebraic data type Fold Type system Recursive data type Software engineering Computing Computer programming
38	Simple, Ecient Object Encoding using Intersection Types Karl Crary January 1999 CMU-CS[removed] Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 1999-01-18 18:16:30 Type theory Data types Object-oriented programming Subtype polymorphism Type system Objective-C Closure Dynamic dispatch Recursive data type Software engineering Computing Computer programming
39	1 Maintaining Recursive Views of Regions and Connectivity in Networks Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Zachary G. Ives, Boon Thau Loo Computer and Information Science Department, University of Pennsylvani Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2009-10-18 21:35:34 Computing Data Mathematical notation Tuple Type theory Relational algebra Data integration Fold Relation Relational model Mathematics Data management
40	Polymorphic Time Systems for Estimating Program Complexity Vincent Dornic 1 2 ; Pierre Jouvelot 1 3 Add to Reading List Source URL: www.psrg.csail.mit.edu Language: English - Date: 2013-07-14 14:56:24 Type theory Data types Theoretical computer science Lambda calculus Formal methods Type system Programming language Fixed-point combinator Recursive data type Software engineering Computing Programming language theory